Migration as a Political and Public Phenomenon: The Case of Hungary

Publication within the project “The V4 towards migration challenges in Europe. An analysis and recommendations” is financed by Visegrad Fun

Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study

Widely used complex code refactoring tools lack a solid reasoning about the correctness of the transformations they implement, whilst interest in proven correct refactoring is ever increasing as only formal verification can provide true confidence in applying tool-automated refactoring to industrial-scale code. By using our strategic rewriting based refactoring specification language, we present the decomposition of a complex transformation into smaller steps that can be expressed as instances of refactoring schemes, then we demonstrate the semi-automatic formal verification of the components based on a theoretical understanding of the semantics of the programming language. The extensible and verifiable refactoring definitions can be executed in our interpreter built on top of a static analyser framework.Comment: In Proceedings VPT 2017, arXiv:1708.0688

Single beam grating coupled interferometry: high resolution miniaturized label-free sensor for plate based parallel screening

Grating Coupled Interferometry (GCI) using high quality waveguides with two incoupling and one outcoupling grating areas is introduced to increase and precisely control the sensing length of the device; and to make the sensor design suitable for plate-based multiplexing. In contrast to other interferometric arrangements, the sensor chips are interrogated with a single expanded laser beam illuminating both incoupling gratings simultaneously. In order to obtain the interference signal, only half of the beam is phase modulated using a laterally divided two-cell liquid crystal modulator. The developed highly symmetrical arrangement of the interferometric arms increases the stability and at the same time offers straightforward integration of parallel sensing channels. The device characteristics are demonstrated for both TE and TM polarized modes. (C)2012 Optical Society of Americ

Challenges and experiences of a participative green space development in Budapest-Józsefváros

This article is an attempt to present the theoretical and practical backgrounds of a participative green space development in Hungary. The renewed green space, Mátyás square is located in District VIII of Budapest, known as Józsefváros. The neighbourhood of Mátyás square had a very negative image, neglected residential areas extended into the heart of the district suffered by different social problems. The local government of Józsefváros elaborated the so called Magdolna Quarter Programme, that contains the details of the social rehabilitation of surroundings of Mátyás square. In frame of this programme – co-financed by EU through GreenKeys Project – the square has been renewed, a collaborative and participative green space development has been fulfilled. The authors were engaged in this model programme, they attempt to summarize briefly the experiences of this unique project of Budapest. The local residents were successfully involved into the planning and the implementation of the project. The participation was considerably efficient, however the experience shows that a participative project may be shorter than the project leaders thought. As a result of this activities the Urban Green Space Strategy of Józsefváros and a computer program for monitoring of green spaces were compiled as well

Inverz szóráselméleti kutatások = Problems of inverse scattering theory

Kifejlesztettünk egy új fix-energiás inverz kvantum szórás módszert. Szórási adatok invertálására alkalmassá tettük a Cox-Thompson inverz kvantum szórás eljárást. Bose-kondenzátumok ütközéséből származó fázistolás adatokból határoztunk meg effektív Rb-Rb atomi potenciálokat. Kétkomponensű Bose-Einstein kondenzátumok stabilitását vizsgáltuk. Megbecsültük a különző specimenek közti szóráshosszak azon tartományát, amely esetében szoliton gerjesztések létrejöhetnek a kondenzátumban. Kifejelesztettünk és numerikusan teszteltünk egy csatolt Gross-Pitaevskii egyenlet megoldó programot. A kutatási munkatervben vállalt 7 publikáció és 4 konferencia előadást jelentősen túl teljestettük, amennyiben 3 disszertáció, 3 konferenciakiadvány és 25 publiáció született az egy évvel meghosszabbított, 5 éves 4 résztvevős kutatás alatt. Ezen kívül egy nemzetközi inverz kvantum szórás konferenciát is rendeztünk (www.math.bme.hu/~hirvath/iqs). | New fix-energy inverse quantum scattering method has been developed. The Cox-Thompson inverse quantum scattering procedure has been made appropriate to invert scattering data. We have determined Rb-Rb atomic scattering potential from data extracted from Bose condensate collisions. Stability of two-component Bose-Einstein condensates has been inversigated. Assessments have been given to values of interspecies scattering length at which soliton excitations are to be expected to exist inside the condensate. We have developed and numerically tested an evolution code which simulate the time evolution of a two-component Bose-Einstein condensate accoring to the Gross-Pitaevskii equation. The original undertaking has been well overcompleted in that 3 theses (1 Phd and 2 DSc), 3 conference contribution and 25 publications in journals of high international reputation have been delivered ba the 4 participants during the 5 years research. Besides also an international inverse quantum scattering conference has been held (www.math.bme.hu/~hirvath/iqs)